-
1 категоричный класс
Большой англо-русский и русско-английский словарь > категоричный класс
-
2 categorical class
Большой англо-русский и русско-английский словарь > categorical class
-
3 categorical class
Математика: категоричный класс -
4 categorical class
мат.
См. также в других словарях:
АКСИОМАТИЗИРУЕМЫЙ КЛАСС — класс однотипных моделей, определяемый системой аксиом. Класс Кмоделей формального языка Lназ. аксиоматизируемым (конечно аксиоматизируемым), если существует (конечная) система замкнутых формул языка Lтакая, что Ксодержит те и только те модели,… … Математическая энциклопедия
АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… … Математическая энциклопедия